Hochleistungs-Termersetzung

Projektleitung und Mitarbeiter

Mittelgeber DFG allgemein

Projektbeginn : 08.1994

Projektende : 07.1996

Tel./ Fax.:

Projektbeschreibung

Im Bereich der Termersetzungssysteme wird der parallele Hochleistungsbeweiser PaReDuX entwickelt. PaReDuX wird verschiedene Beweismethoden wie induktive Vervollstaendigung, AC-Vervollstaendigung und Polynomvervollstaendigung enthalten. Ausgehend vom bestehenden ReDuX-System werden diese Methoden in Theorie und Praxis so parallelisiert, dass sie auf modernsten Multiprozessor-Arbeitsplatzrechnern signifikant schneller werden.

Publikationen

INDEX HOME SUCHEN KONTAKT LINKS